🦀 Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

Stable, Mutable References for Ante
antelang.org·9h·
Discuss: Hacker News, r/programming
🔒Type Safety
Learning Through Doing: From one language to another
blog.scottlogic.com·3d
🦀Rust Macros
Sets & Heaps in Haskell and Rust
mmhaskell.com·14h
🔒Type Safety
The Lobster Programming Language
strlen.com·3h·
Discuss: Hacker News
🔗Concatenative Programming
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·23h
🧪Binary Fuzzing
Rust for JavaScript Engineers – Intro
afloat.boats·1d·
Discuss: Hacker News
🦀Rust Macros
Teaching programming languages
kmjn.org·11h
💻Programming languages
FLINT: Fast Library for Number Theory
flintlib.org·4h
🧮Algebraic Datatypes
Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·7h·
Discuss: DEV
🔒Type Safety
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·9h·
Discuss: Hacker News
⚡Hardware Transactional Memory
How to Avoid Thread-Safety Cost for Functions' Static Variables
cppstories.com·2d·
Discuss: Hacker News, r/cpp
🔒Type Safety
Capture Checking in Scala
nrinaudo.github.io·17h·
Discuss: Hacker News
🧪Binary Fuzzing
Song recommendations with F# free monads
blog.ploeh.dk·15h
🔗Functional Compilers
Builder Pattern in CDK
medium.com·3h·
Discuss: Hacker News
🧱Immutable Infrastructure
TypeScript: Enable Strict Mode by Default
github.com·6h·
Discuss: Hacker News
🎯Gradual Typing
Meson 1.9 Released With New Rust Features, Adds Swift/C++ Interoperability
phoronix.com·12h
🦀Rust Macros
the core of rust
jyn.dev·4d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Typeclassopedia
wiki.haskell.org·20h·
Discuss: Hacker News
🧬Functional Programming
Some recent project milestones
markjgsmith.com·1d
🔌Interface Evolution